- formal correspondence
- лингв. формальное соответствие
Англо-русский универсальный дополнительный практический переводческий словарь И. Мостицкого. И. Мостицкий. 2002-2012.
formal correspondence
Смотреть что такое "formal correspondence" в других словарях:
Correspondence theory of truth — Truth, holding a mirror and a serpent (1896). Olin Levi Warner, Library of Congress Thomas Jefferson Building, Washington, D.C. The correspondence theory of truth states that the truth or falsity of a statement is determined only by how it… … Wikipedia
Correspondence principle (sociology) — The correspondence principle or correspondence thesis is a sociological theory that posits a close relationship between social standing and the educational system. Writers in this vein (notably Samuel Bowles and Herbert Gintis) are in particular… … Wikipedia
Formal verification — In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods… … Wikipedia
Curry-Howard correspondence — The Curry Howard correspondence is the direct relationship between computer programs and mathematical proofs. Also known as Curry Howard isomorphism, proofs as programs correspondence and formulae as types correspondence, it refers to the… … Wikipedia
Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… … Wikipedia
Committee of correspondence — For other uses, see Committee of correspondence (disambiguation). The Committees of Correspondence were shadow governments organized by the Patriot leaders of the Thirteen Colonies on the eve of American Revolution. They coordinated responses to… … Wikipedia
McMahon–Hussein Correspondence — The McMahon–Hussein Correspondence, or the Hussein McMahon Correspondence, was a protracted exchange of letters (July 14, 1915 to January 30, 1916)[1] during World War I, between the Sharif of Mecca, Husayn bin Ali, and Sir Henry McMahon, British … Wikipedia
McMahon-Hussein Correspondence — The McMahon Hussein Correspondence [Also sometimes known in the literature as the Hussein McMahon Correspondence .] was a protracted exchange of letters (July 14, 1915 to January 30, 1916) [http://www.law.fsu.edu/library/collection/LimitsinSeas/IB… … Wikipedia
The Willy-Nicky Correspondence — is a phrase derived from a book by Herman Bernstein in January of 1918. The book was based on a set of telegrams that revealed the secret relations between Wilhelm II of the German Empire and Tsar Nicholas II of Russia. The telegrams were… … Wikipedia
Valediction — A valediction (derivation from Latin vale dicere, to say farewell ),[1] or complimentary close in American English,[2] is an expression used to say farewell, especially a word or phrase used to end a letter or message,[3][4] or the act of saying… … Wikipedia
BIBLE — THE CANON, TEXT, AND EDITIONS canon general titles the canon the significance of the canon the process of canonization contents and titles of the books the tripartite canon … Encyclopedia of Judaism
